Type system

Results: 9144



#Item
41A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with

A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with

Add to Reading List

Source URL: cybersec-prod.s3.amazonaws.com

- Date: 2016-10-05 17:20:39
    42Space-Efficient Computation by Interaction A Type System for Logarithmic Space Ulrich Schöpp LMU Munich September 27, 2006

    Space-Efficient Computation by Interaction A Type System for Logarithmic Space Ulrich Schöpp LMU Munich September 27, 2006

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

    - Date: 2006-10-01 04:45:45
      43 Key facts: High measurement accuracy (0,25%) European type approval based on MID High safety level Fueling and vent back hoses and nozzles with breakaway system

      Key facts: High measurement accuracy (0,25%) European type approval based on MID High safety level Fueling and vent back hoses and nozzles with breakaway system

      Add to Reading List

      Source URL: files.chartindustries.com

      - Date: 2015-02-12 16:11:06
        44A WSDL-based type system for WS-BPEL? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We tackle the problem of providing rigor

        A WSDL-based type system for WS-BPEL? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We tackle the problem of providing rigor

        Add to Reading List

        Source URL: rap.dsi.unifi.it

        - Date: 2007-02-12 09:25:08
          45Terminologies and Glossary Synoptic Systems Type of system Cyclonic Circulation (Cycir)

          Terminologies and Glossary Synoptic Systems Type of system Cyclonic Circulation (Cycir)

          Add to Reading List

          Source URL: imd.gov.in

          - Date: 2016-02-22 00:26:56
            46A WSDL-based type system for WS-BPEL∗ Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica, Universit`a di Firenze March 28, 2006 Abstract

            A WSDL-based type system for WS-BPEL∗ Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica, Universit`a di Firenze March 28, 2006 Abstract

            Add to Reading List

            Source URL: rap.dsi.unifi.it

            - Date: 2007-02-12 10:05:21
              47Type Domestic International Miscellaneous/Other

              Type Domestic International Miscellaneous/Other

              Add to Reading List

              Source URL: assets.system.tamus.edu

              - Date: 2014-09-04 10:30:31
                48Type Systems Luca Cardelli Microsoft Research 1 Introduction The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates th

                Type Systems Luca Cardelli Microsoft Research 1 Introduction The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates th

                Add to Reading List

                Source URL: lucacardelli.name

                - Date: 2007-10-27 12:43:06
                  49Space-efficient Computation by Interaction A Type System for Logarithmic Space Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Oettingenstraße 67, DM¨unchen, Germany

                  Space-efficient Computation by Interaction A Type System for Logarithmic Space Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Oettingenstraße 67, DM¨unchen, Germany

                  Add to Reading List

                  Source URL: www2.tcs.ifi.lmu.de

                  - Date: 2006-07-06 03:54:58
                    50A Machine-Checked Proof for a Product-Line–Aware Type System

                    A Machine-Checked Proof for a Product-Line–Aware Type System

                    Add to Reading List

                    Source URL: wwwiti.cs.uni-magdeburg.de

                    - Date: 2010-04-15 12:40:01